- 2 402 202 книги
- Поиск
Protecting Persons While Protecting the People: Second Annual Workshop on Information Privacy and National Security, ISIPS 2008, New Brunswick, NJ, ... Computer Science Security and Cryptology)
Автор: Cecilia S. Gal, Автор: Paul B. Kantor, Автор: Michael E. LeskКатегория: Компьютеры
Размер книги: 3.83 Mb
Business Process Management: 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010, Proceedings (Lecture Notes in Computer ... Applications, incl. Internet Web, and HCI)
Автор: Richard Hull, Автор: Jan Mendling, Автор: Stefan TaiКатегория: Компьютеры
Размер книги: 6.77 Mb
Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings (Lecture Notes in Computer Science)
Автор: Elsa L. Gunter, Автор: Amy FeltyКатегория: Компьютеры
Размер книги: 25.43 Mb
Intelligence and Security Informatics: Biosurveillance: Second NSF Workshop, BioSurveillance 2007, New Brunswick, NJ, USA, May 22, 2007, Proceedings (Lecture ... Applications, incl. Internet Web, and HCI)
Автор: Daniel Zeng, Автор: Ivan Gotham, Автор: Ken Komatsu, Автор: Cecil Lynch, Автор: Mark Thurmond, Автор: David Madigan, Автор: Bill Lober, Автор: James Kvach, Автор: Hsinchun ChenКатегория: Математика, Прикладная математика
Размер книги: 3.97 Mb
Algorithmic Decision Theory: Second International Conference, ADT 2011, Piscataway, NJ, USA, October 26-28, 2011. Proceedings
Автор: Ronen I. Brafman, Автор: Fred S. Roberts, Автор: Alexis Tsoukiàs
Размер книги: 4.51 Mb
Interactive Theorem Proving : Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
Автор: Amy FeltyКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 4.35 Mb
Web services and formal methods : 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010 : revised selected papers
Автор: Mario Bravetti; Tevfik BultanКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 3.04 Mb
Sport and Spirituality: An Introduction (Ethics & Sport)
Автор: Jim Parry, Автор: S Robinson, Автор: NJ Watson, Автор: M NestiКатегория: Физкультура и спорт
Размер книги: 1.72 Mb
Automated Deduction CADE-13: 13th International Conference on Automated Deduction, New Brunswick, Nj, USA, July 30 - August 3, 1996, Proceedings: ... 13th
Автор: Michael A. McRobbie, Автор: J.K. Slaney
Размер книги: 7.27 Mb
Digital Libraries - Current Issues: Digital Libraries Workshop, DL '94, Newark, NJ, USA, May 19- 20, 1994. Selected Papers
Автор: Nabil R. Adam, Автор: Bharat K. Bhargava, Автор: Yelena Yesha
Размер книги: 4.72 Mb
Document Analysis Systems: 5th International Workshop, DAS 2002, Princeton, NJ, USA, August 19-21, 2002. Proceedings
Автор: Daniel Lopresti, Автор: Jianying Hu, Автор: Ramanusan Kashi
Размер книги: 9.19 Mb
Intelligence and Security Informatics: Biosurveillance: Second NSF Workshop, BioSurveillance 2007, New Brunswick, NJ, USA, May 22, 2007, Proceedings
Автор: Daniel Zeng, Автор: Ivan Gotham, Автор: Ken Komatsu
Размер книги: 6.16 Mb
Protecting Persons While Protecting the People: Second Annual Workshop on Information Privacy and National Security, ISIPS 2008, New Brunswick, NJ, ... Computer Science / Security and Cryptology)
Автор: Cecilia S. Gal, Автор: Paul B. Kantor, Автор: Michael E. Lesk
Размер книги: 4.30 Mb
Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings
Автор: Aarti Gupta, Автор: Sharad Malik
Размер книги: 5.97 Mb
On bi-orthogonal systems of trigonometric functions and quadrature formulas for periodic integrands
Автор: Cruz-Barroso R., Автор: González-Vera P., Автор: Njåstad O.Категория: Математика
Размер книги: 474 Kb